Software analysis pattern

Results: 73



#Item
61Formal sciences / Cross-platform software / Geographic information system / Image analysis / Mathematica / Mathematical software / Science / Application software

1. Title Morphological Spatial Pattern Analysis (MSPA) A novel technology to detect perforations and connectors in digital images 2. Customer/User European Commission, European Environment Agency, United States Forest S

Add to Reading List

Source URL: geohub.jrc.ec.europa.eu

Language: English - Date: 2012-11-27 08:54:55
62Compiler construction / Network flow / Pattern matching / Control flow / Static single assignment form / Erlang / Flow network / Data-flow analysis / Continuation-passing style / Graph theory / Software engineering / Computing

Flow Graphs for Testing Sequential Erlang Programs Manfred Widera Fachbereich Informatik, FernUniversitt Hagen D[removed]Hagen, Germany [removed]

Add to Reading List

Source URL: www.erlang.se

Language: English - Date: 2004-10-14 07:15:09
63Object-oriented programming / Diagrams / Knowledge representation / Unified Modeling Language / Software design pattern / Object-oriented design / Creational pattern / Object-oriented analysis and design / Modeling language / Software engineering / Computing / Software design

COMP3700 Software Modeling and Design Syllabus Instructor Name: Dr. Munawar Hafiz Email: [removed]

Add to Reading List

Source URL: www.munawarhafiz.com

Language: English - Date: 2012-04-25 21:47:20
64Computing / Design Patterns / Factory / Creational pattern / Object-oriented design / Object-oriented programming / Object / Visitor pattern / Abstract factory pattern / Software engineering / Software design patterns / Computer programming

Design Pattern Matrix Design Patterns: From Analysis to Implementation by

Add to Reading List

Source URL: www.netobjectives.com

Language: English - Date: 2012-08-31 00:15:21
65Formal languages / Compiler construction / Parsing / Pattern matching / Parser generators / Lexical analysis / Lex / Attribute grammar / Parser Grammar Engine / Computing / Programming language implementation / Software

dypgen User’s Manual Emmanuel Onzon June 19, 2012 Overview dypgen is a parser generator for Objective Caml. To use it you need to learn the BNF syntax for

Add to Reading List

Source URL: dypgen.free.fr

Language: English - Date: 2012-06-19 05:31:04
66Graph / Node / Graph theory / Mathematics / Pattern matching

Software Supported Pattern Development in Intelligence Analysis∗ Michael Wolverton and Ian Harrison and John Lowrance and Andres Rodriguez and Jerome Thomere Artificial Intelligence Center SRI International 333 Ravensw

Add to Reading List

Source URL: www.ai.sri.com

Language: English - Date: 2007-02-22 17:00:47
67Programming language theory / Program analysis / Type system / Computing / Trajectory / Pattern matching / Data types / Type theory / Software engineering

INFORMATIK BERICHTE 369 – [removed]Symbolic Trajectories

Add to Reading List

Source URL: dna.fernuni-hagen.de

Language: English - Date: 2013-12-17 07:51:24
68Software bugs / Type theory / Erlang programming language / Ericsson / Erlang / Open Telecom Platform / Bytecode / Pattern matching / Type system / Software engineering / Computing / Computer programming

Experience from Developing the Dialyzer: A Static Analysis Tool Detecting Defects in Erlang Applications Konstantinos Sagonas

Add to Reading List

Source URL: user.it.uu.se

Language: English - Date: 2005-06-22 06:10:05
69Compiler construction / Regular expressions / Pattern matching / Lexical analysis / Parsing / Syntax / Expression / Temporal expressions / Sam / Computing / Formal languages / Software

T OKENS R EGEX: Defining cascaded regular expressions over tokens Angel X. Chang, Christopher D. Manning Computer Science Department, Stanford University, Stanford, CA, 94305 {angelx, manning}@cs.stanford.edu We describ

Add to Reading List

Source URL: hci.stanford.edu

Language: English - Date: 2014-04-26 19:41:11
70Computing / Constructor / C++ classes / Class / Object-oriented design / Object / Generic programming / Design Patterns / Software design pattern / Software engineering / Object-oriented programming / Computer programming

FORMALIZATION OF CLASS STRUCTURE EXTRACTION THROUGH LIFETIME ANALYSIS Mikio Ohki

Add to Reading List

Source URL: leo.nit.ac.jp

Language: English - Date: 2004-05-06 03:03:00
UPDATE